#ifndef _ComparaCartasSegundoOValor_h
#define _ComparaCartasSegundoOValor_h

#include <stdint.h>
#include <stdbool.h>
/* Clause SEES */
#include "Bool_TYPE.h"
#include "ComparacaoDeCartas.h"
#include "SetsCarta.h"

#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */


/* Clause SETS */

/* Clause CONCRETE_VARIABLES */


/* Clause CONCRETE_CONSTANTS */
/* Basic constants */
/* Array and record constants */
extern void ComparaCartasSegundoOValor__INITIALISATION(void);

/* Clause OPERATIONS */

extern void ComparaCartasSegundoOValor__valor1VenceValor2(SetsCarta__valores valor1, SetsCarta__valores valor2);
extern void ComparaCartasSegundoOValor__terminarValor1VenceValor2(Bool_TYPE__resposta *rr);

#ifdef __cplusplus
}
#endif /* __cplusplus */


#endif /* _ComparaCartasSegundoOValor_h */
